<?php

class NullPointerException extends Exception {
    
}

?>
